AI创企Axiom完成数学巨著形式化验证

估值16亿美元的AI数学创企AxiomMath宣布，已完成对约7654页数学巨著StacksProject的形式化验证，将其译成约1600万行Lean代码逐行机检。公司称此举是要为AI智能体打造可信的

2026-11-06 人工智能 我要分享

AOL发布网页电邮客户端Alto 支持5款电邮服务

　　北京时间10月19日消息，据国外媒体报道，AOL今天发布了一款基于网页的电子邮件客户端Alto，旨在解决用户从多个收件箱收取邮件带来的麻烦。Alto将所有收件箱整合成一个收件箱，并以更直观的格式组织邮件。

2019-03-10 综合 我要分享

自游家 NV 智能座舱等配置信息公布 具备 L2 + 辅助驾驶能力

最新4月22日消息，小牛电动创始人李一男造车作品"自游家NV"此前已宣布将于9月交付首批用户。现已公布有关该车型的智能座舱及辅助驾驶详细配置信息，包括支持无感解锁、导航信息双屏双显示、具备L2+辅助驾

2022-05-08 资讯 我要分享

迈阿密宣布将把城市加密货币MiamiCoin收益分润给市民

根据报导，今年8月开挖的城市加密货币MiamiCoin，目前已替迈阿密市赚进2千万美元，约等于迈阿密总税收的2成

2021-11-12 综合 我要分享

IBM释出原生云端K8s应用程序开发框架Kabanero

Kabanero整合了Knative、Istio与Appsody等多项开源专案，为用户提供完整的Kubernetes应用程序生命周期开发体验

2019-07-17 综合 我要分享

新版MacOS莫哈韦：九大更新 与iOS结合更紧密

新版macOS的更新主要体现在以下几点：命名方式、视觉模式、桌面收集功能、文件夹新界面、截图/截屏、手机电脑间的信息共享、部分原生APP共享、更上一层楼的隐...

2018-06-05 科技 我要分享

两大系统之战:苹果Yosemite PK 微软Windows 10

全新Windows 10操作系统已经在7月29日正式发布。就和移动行业中的iOS和Android操作系统一样，新版本...

2020-04-29 综合 我要分享

macOSMojave释出公众测试版

在WWDC亮相的macOS10.14Mojave，新增黑色主题的暗黑模式，还提供免开程式就能作业的QuickAction、搜寻动态堆叠等功能，目前已开放下载测试，正式版将在秋天释出。

2018-06-27 综合 我要分享

macOS Mojave释出公众测试版

在WWDC亮相的macOS 10.14 Mojave，新增黑色主题的暗黑模式，还提供免开程式就能作业的Quick Action、搜寻动态堆叠等功能，目前已开放下载测试，正式版将在秋天释出。

2019-01-23 综合 我要分享

重头戏来了macOS重磅更新：黑暗模式＋各种新功能够惊艳

重头戏来了！macOS 这次的新系统叫 macOS Mojava 。加入了全新的夜间模式（ 非常帅了 ！），支持动态壁纸，壁纸可根据时间变化。新增了桌面整理功能 Desktop ...

2018-06-05 科技 我要分享

史上最软苹果发布会：四大系统均有更新 独缺硬件产品

最全攻略请收下。今天凌晨1点，苹果WWDC 2018开发者大会在圣何塞McEnery会议中心拉开帷幕。一开场，库克就以一句“今年的重点在软件”，破除了所有关于本次大...

2018-06-05 科技 我要分享

Palm面向开发者发布WebOS 2.0测试版

　　北京时间9月1日早间消息，据国外媒体报道，Palm周二面向开发者发布了WebOS 2.0测试版，最终版本有望于今年晚些时候面向公众发布。

2019-04-07 综合 我要分享

macOSMojave正式版问世，马上传出有隐私漏洞

新版macOS10.14带来DarkMode深色模式，在Finder、桌面管理、Mac与iPhone整合等方面也带来新的设计，不过，有研究人员指出该版本存在漏洞，可让未获授权的应用程序存取通讯录。

2018-09-25 综合 我要分享

macOS Mojave正式版问世，马上传出有隐私漏洞

新版macOS 10.14带来Dark Mode深色模式，在Finder、桌面管理、Mac与iPhone整合等方面也带来新的设计，不过，有研究人员指出该版本存在漏洞，可让未获授权的应用程序存取通讯录。

2019-01-20 综合 我要分享

Linux核心4.9出炉，Linus保证史上最大改版！

Google的Ara模组化手机计划虽然停摆了，但是贡献了大量程式码到4.9新版，尤其是Ara计划的Greybus硬件协定也加入了Linux4.9版。

2018-01-21 综合 我要分享

Opera创办人为专业消费者打造的浏览器Vivaldi 1.0问世

不同于其他浏览器朝功能简化发展，Vivaldi锁定专业使用者，让使用者获得真正主导权，可以高度客制化个人使用习惯。新浏览器专为Web打造、以Web为元素，UI采用React和JavaScript及Node.js，核心为Chromium，可支援Chrome外挂。

2019-03-11 综合 我要分享

Opera创办人为专业消费者打造的浏览器Vivaldi1.0问世

不同于其他浏览器朝功能简化发展，Vivaldi锁定专业使用者，让使用者获得真正主导权，可以高度客制化个人使用习惯。新浏览器专为Web打造、以Web为元素，UI采用React和JavaScript及Node.js，核心为Chromium，可支援Chrome外挂。

2018-01-30 综合 我要分享

自游家 NV 将于 10 月 8 日上市：增程版车型 WLTC 工况续航 939km

9月29日消息，自游家汽车宣布，自游家NV将于10月8日上市发布，届时将公布产品售价及用户权益等更多信息。据悉，自游家NV定义为豪华中大型城市探索SUV，长4,915mm、宽1,962mm、高1,75

2022-12-21 资讯 我要分享

谷歌Project Fi无线服务体验：经济实惠网速快

　　导语：Project Fi是谷歌推出的虚拟运营商服务，它能够在蜂窝网络和WiFi热点之间切换，从而控制数据...

2020-02-07 综合 我要分享

盘点2018年这12个最受欢迎的项目管理认证

至顶网CIO与应用频道 07月23日 编译：每个成功的IT项目背后，都有一位技术娴熟的项目经理。从硬件和软件升级，到持续的安全补丁，再到应用开发和软件发布，项...

2018-07-24 科技 我要分享